package zettel2.a1

trait Student {
  val matr: Int
  def inLecture: Boolean
}